A Locale for Minimal Bad Sequences

نویسنده

  • Christian Sternagel
چکیده

We present a locale that abstracts over the necessary ingredients for constructing a minimal bad sequence, as required in classical proofs of Higman’s lemma and Kruskal’s tree theorem.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

FINITENESS PROPERTIES OF LOCALE COHOMOLOGY MODULES FOR (I;J)- MINIMAX MODULES

ABSTRACT. Let R be a commutative noetherian ring, I and J are two ideals of R. Inthis paper we introduce the concept of (I;J)- minimax R- module, and it is shown thatif M is an (I;J)- minimax R- module and t a non-negative integer such that HiI;J(M) is(I;J)- minimax for all i

متن کامل

Metachronous Bilateral Silent Sinus Syndrome: A Case Report

Introduction: Bilateral silent sinus syndrome (SSS) is a very rare pathology reported only in few papers in literature. Most of the described cases are simultaneous, and only one had a metachronous presentation. The evolutionary phases of the disease have yet to be well demonstrated and a complete radiological evaluation is needed to demonstrate the pathogenetic mechanisms that cause the ...

متن کامل

Measure, randomness and sublocales

This paper investigates aspects of measure and randomness in the context of locale theory (point-free topology). We prove that every measure (σ-continuous valuation) μ, on the σ-frame of opens of a fitted σ-locale X, extends to a measure on the lattice of all σ-sublocales of X (Theorem 1). Furthermore, when μ is a finite measure with μ(X) = M , the σ-locale X has a smallest σ-sublocale of measu...

متن کامل

A New Characterization of the Continuous Functions on a Locale

Within the categoryW of archimedean lattice-ordered groups with weak order unit, we show that the objects of the form C (L), the set of continuous real-valued functions on a locale L, are precisely those which are divisible and complete with respect to a variant of uniform convergence, here termed indicated uniform convergence. We construct the corresponding completion of aW-object A purely alg...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1208.1366  شماره 

صفحات  -

تاریخ انتشار 2012